141. Computer oriented learning processes : )proceedings of the NATO Advanced Study Institute on Computer Oriented Learning Processes(
پدیدآورنده : edited by J. C. Simon
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Artificial intelligence,Congresses ، Probabilistic automata,Congresses ، Formal languages
رده :
Q
334
.
N37
1976
142. Context-free grammars : covers, normal forms, and parsing
پدیدآورنده : Nijholt, Anton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Formal languages,، Parsing )Computer grammar(
رده :
QA
76
.
L4
v
.
93
143. Context-free grammars : covers, normal forms, and parsing
پدیدآورنده : Nijholt, Anton
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Parsing )Computer grammar(
رده :
QA
267
.
3
.
N54
144. Context-free grammars : covers, normal forms, and parsing
پدیدآورنده : Nijholt, Anton, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages,، Parsing )Computer grammar(
رده :
QA
76
.
L28
Vol
.
93
145. Current trends in theoretical computer science: essays and tutorials
پدیدآورنده : edited by G. Rozenberg, A. Salomua
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، formal languages
رده :
QA
267
.
C87
146. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
147. Descriptional Complexity of Formal Systems
پدیدآورنده : \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
148. Descriptional complexity of formal systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages ; Congresses. ;
149. Descriptional complexity of formal systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages ; Congresses. ;
150. Descriptional complexity of formal systems :
پدیدآورنده : Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
151. Descriptional complexity of formal systems :
پدیدآورنده : Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
رده :
QA267
.
3
.
D34
2011
152. Developments in language theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages ; Congresses. ;
153. Developments in language theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages ; Congresses. ; Computer programming ; Congresses. ;
154. Developments in language theory
پدیدآورنده : \ Igor Potapov (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages -- Congresses.,Computation by Abstract Devices.,Mathematical Logic and Formal Languages,زبانهای صوری -- کنگره ها ,منطق ریاضی و زبان های صوری
رده :
QA
267
.
3
.
D48
2015
E-Book
,
155. Developments in language theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages ; Congresses. ;
156. Developments in language theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages ; Congresses. ;
157. Developments in language theory
پدیدآورنده : / Yuan Gao ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages, Congresses
رده :
QA267
.
3
.
C66
2010
158. Developments in language theory
پدیدآورنده : Hsu-Chun Yen, Oscar H. Ibarra (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses
رده :
QA267
.
3
.
C63
2012eb
159. Developments in language theory :
پدیدآورنده : Marie-Pierre Béal, Olivier Carton (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering & Applied Sciences.,Formal languages -- Congresses.,Formal languages.
رده :
QA267
.
3
M375
2013
160. Developments in language theory : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005 : proceedings
پدیدآورنده : Clelia De Felice, Antonio Restivo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
3572